Pulmonary vein isolation by cryoablation